Subalgebra Analogue to Standard Basis for Ideal
نویسنده
چکیده
The theory of “subalgebra basis” analogous to standard basis (the generalization of Gröbner bases to monomial ordering which are not necessarily well ordering [1].) for ideals in polynomial rings over a field is developed. We call these bases “SASBI Basis” for “Subalgebra Analogue to Standard Basis for Ideals”. The case of global orderings, here they are called “SAGBI Basis” for “Subalgebra Analogue to Gröbner Basis for Ideals”, is treated in [6]. Sasbi bases may be infinite. In this paper we consider subalgebras admitting a finite Sasbi basis and give algorithms to compute them. The algorithms have been implemented as a library for the computer algebra system SINGULAR [2].
منابع مشابه
Ideal and Subalgebra Coefficients
For an ideal or K-subalgebra E of K[X1, . . . , Xn], consider subfields k ⊂ K, where E is generated – as ideal or K-subalgebra – by polynomials in k[X1, . . . , Xn]. It is a standard result for ideals that there is a smallest such k. We give an algorithm to find it. We also prove that there is a smallest such k for K-subalgebras. The ideal results use reduced Gröbner bases. For the subalgebra r...
متن کاملRough ideals based on ideal determined varieties
The paper is devoted to concern a relationship between rough set theory and universal algebra. Notions of lower and upper rough approximations on an algebraic structure induced by an ideal are introduced and some of their properties are studied. Also, notions of rough subalgebras and rough ideals with respect to an ideal of an algebraic structure, which is an extended notion of subalgebras and ...
متن کاملCanonical Bases for Subalgebras on two Generators in the Univariate Polynomial Ring
In this paper we examine subalgebras on two generators in the univariate polynomial ring. A set, S, of polynomials in a subalgebra of a polynomial ring is called a canonical basis (also referred to as SAGBI basis) for the subalgebra if all lead monomials in the subalgebra are products of lead monomials of polynomials in S. In this paper we prove that a pair of polynomials {f, g} is a canonical ...
متن کاملA Completion Procedure for Computing a Canonical Basis for a k-Subalgebra*
A completion procedure for computing a canonical basis for a k-subalgebra is proposed. Using this canonical basis, the membership problem for a k-subalgebra can be solved. The approach follows Buchberger's approach for computing a Grr obner basis for a polynomial ideal and is based on rewriting concepts. A canonical basis produced by the completion procedure shares many properties of a Grr obne...
متن کاملThe Fox Problem for Free Restricted Lie Algebras
Let L be a free restricted Lie algebra and R a restricted ideal of L. Denote by u(L) the restricted enveloping algebra of L and by ω(L) the associative ideal of u(L) generated by L. The purpose of this paper is to identify the subalgebra R ∩ ω(L)ω(R) in terms of R only . This problem is the analogue of the Fox problem for free groups.
متن کامل